jetnu zei uidje zei-lujvo

u1 is a checkbox in user interface u2.

The definition includes tri-state checkboxes as well. See also: gribatke zei uidje, uidje.

On affix form:

jetnu
x1 (du'u) is true/truth by standard/epistemology/metaphysics x2.
zekri
x1 (event/state) is a punishable crime/[taboo/sin] to people/culture/judges/jury x2.

In definition:

cmapagjvo
x1 (text) is a lujvo with meaning x2 and arguments x3, and which is constructed from tanru/veljvo x4 such that each element of the veljvo is ultimately only a cmavo (including "{zei}", "{ke}"/"{ke'e}", "{bo}", etc.), gismu, or rafsi of such cmavo or gismu.
zejvo
x1 (text) is a Lojban compound predicate using the particle “zei”; with meaning x2, arguments x3, built from metaphor (tanru) x4.
luvrzei
x1 (text) is a Lojban compound predicate using the particle “zei”; with meaning x2, arguments x3, built from metaphor (tanru) x4.
zeiljvo
x1 (text) is a Lojban compound predicate using the particle “zei”; with meaning x2, arguments x3, built from metaphor (tanru) x4.
zo si si zei fa'o
x1 is a nonsense zei-lujvo using parts x2, silly by standard x3.

In notes:

fatci
x1 (du'u) is a fact/reality/truth/actuality, in the absolute.
jitfa
x1 (du'u) is false/is an untruth by standard/epistemology/metaphysics x2.
stace
x1 is honest/open/truthfully revealing to/candid/frank with x2 about matter/fact x3.
je'u
discursive: truth - falsity.
cazyfau
f1 is actual (existing in act or reality, not just potentially).
facmu'e
x1 is reality / "the real world" ("this" world, the world the speaker and [presumably] listener reside in), containing/defining x2 (objects and facts) defined by rules x3
jetkai
x1 is genuinely x2 (ka) by standard x3
jetmlu
x1 (du'u) seems true to x2 by epistemology x3
jetpai
p1 judges the veracity of p2=j1 by standard/epistemology/metaphysics x3=j2.
jezyje'u
x1 is the truth value / degree of truth of x2 (bridi) by epistemology/metaphysics x3
kutyje'u
x1 a tautology by standard/epistemology/metaphysics x2.
e'u'a (exp!)
logical connective: sumti afterthought always true.
ge'u'a (exp!)
logical connective: forethought all but tanru-internal always true (with gi).
gi'e'u'a (exp!)
logical connective: bridi-tail afterthought always true.
gu'e'u'a (exp!)
logical connective: tanru-internal forethought always true (with gi).
je'u'a (exp!)
logical connective: tanru-internal afterthought always true.
anji'i
x1 admit to themselves that they x2 (ka)
djeisone
x1 is an object described as x2, x3, ... (termset representing serializable tree structure compatible with JSON format of attribute-value pairs).
du'umdu
x1 is a proposition/predication (statement with a truth value), stating that x2 is true
ifle
if x1 (proposition) is true then x2 (event) happens else x3 (event) happens
uidje
x1 is a widget of user interface x2.
gribatke zei uidje
u1 is a radio button, part of radio button group g1, in user interface u2.